-
1 binary predicate
Математика: двуместный предикат -
2 binary predicate
-
3 binary predicate
The New English-Russian Dictionary of Radio-electronics > binary predicate
-
4 binary predicate
мат. -
5 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
6 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
7 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
8 двуместный предикат
Большой англо-русский и русско-английский словарь > двуместный предикат
-
9 calculus
-
10 logic
в) логическая схема; логические схемы- active logic
- application logic
- assertion-level logic - base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled logic
- charge-coupled device logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible logic - complementary transistor-resistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging logic - current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic - double-railed logic
- dynamic logic - emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic - hardware logic
- hard-wired logic
- high-level logic - integrated-circuit logic - latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic - low-voltage logic - magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic - micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- neighborhood logic - n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable logic
- programmable array logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic - resistor-coupled transistor logic - sampling-type logic
- saturated logic
- save-carry logic - Schottky transistor-transistor logic - shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic - ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor logic - tunnel-diode logic - virtual logic
- voltage-stage logic
- wired program logic -
11 logic
в) логическая схема; логические схемы•- active logic
- application logic
- assertion-level logic
- assisted Gunning transceiver logic
- asynchronous logic
- base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled device logic
- charge-coupled logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible current-sinking logic
- compatible logic
- complementary constant-current logic
- complementary resistor-diode-transistor logic
- complementary transistor-resistor logic
- complementary-transistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging injection logic
- current-hogging logic
- current-merged logic
- current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic
- digital summation threshold logic
- diode logic
- diode-transistor logic
- direct-coupled field-effect-transistor logic
- direct-coupled logic
- direct-coupled transistor logic
- direct-coupled unipolar transistor logic
- distributed logic
- domain-tip-propagation logic
- domain-wall logic
- double-railed logic
- dynamic logic
- emitter-coupled current-steering logic
- emitter-coupled logic temperature compensated
- emitter-coupled logic
- emitter-coupled transistor logic
- emitter-emitter coupled logic
- emitter-follower logic
- emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic
- Gunning transceiver logic
- half-line delay logic
- hardware logic
- hard-wired logic
- high-level logic
- high-level transistor-transistor logic
- high-noise immunity logic
- high-power logic
- high-threshold logic
- Horn clause logic
- integrated injection logic
- integrated Schottky logic
- integrated-circuit logic
- intensional logic
- isoplanar integrated injection logic
- Josephson logic
- latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic
- low-level logic
- low-power diode-transistor logic
- low-power logic
- low-power resistor-transistor logic
- low-power Schottky transistor-transistor logic
- low-threshold logic
- low-voltage logic
- low-voltage transistor-transistor logic
- machine logic
- magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic
- merged transistor logic
- metal-oxide-semiconductor transistor logic
- microcontrol logic
- micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- negative true logic
- neighborhood logic
- n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable array logic
- programmable logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic
- resistor-capacitor diode-transistor logic
- resistor-capacitor transistor logic
- resistor-coupled transistor logic
- resistor-transistor logic
- RSFQ logic
- sampling-type logic
- saturated logic
- save-carry logic
- Schottky transistor logic
- Schottky transistor-transistor logic
- Schottky-diode FET logic
- self-aligned superinjection logic
- sequential logic
- shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic
- substrate-fed logic
- symbolic logic
- symmetrical emitter-coupled logic
- synchronous logic
- ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor current-steering logic
- transistor logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tunnel-diode charge-transformer logic
- tunnel-diode coupled logic
- tunnel-diode logic
- tunnel-diode transistor logic
- unsaturated logic
- variable-threshold logic
- vertical injection logic
- virtual logic
- voltage-stage logic
- wired program logicThe New English-Russian Dictionary of Radio-electronics > logic
-
12 function
1) функция2) функционировать; находиться в работоспособном состоянии3) выполнять функцию; играть роль4) (дополнительное) функциональное устройство, проф. функция ( в стандарте USB)5) вчт. отображение || отображать•- actuating transfer function
- additive function
- additive/multiplicative function
- admittance function
- advanced communication function
- affine Boolean function
- aggregate function
- algebraic function
- all-pass transfer function
- all-pole function
- all-zero function
- alternating function
- ambiguity function
- amplitude distribution function
- amplitude function
- AM-tive function additive/multiplicative function
- anode work function
- aperture phase function
- apodizing function
- application program function
- autocorrelation function
- automatic azimuth alignment function
- band-limited function
- base station control function
- basis function
- Bellman function
- bent function
- Bessel function of imaginary argument
- Bessel function
- beta function
- bijection function
- bijective function
- binary activation function
- binary sigmoid function
- binate function
- bipolar sigmoid function
- bi-state function
- bivariate distribution function
- Boolean function
- Bose-Einstein distribution function
- bounded function
- boxcar function
- Brillouin function
- built-in function
- Butterworth function
- carpet function
- carrier function
- cathode work function
- characteristic function
- circular function
- closed function
- closed-loop transfer function
- clutching function
- coherence function
- color matching functions
- comb function
- combination function
- combining function
- competitive function
- complementary error function
- complementary function
- composite function
- computable function
- concentrated likelihood function
- continuous function
- contrast transfer function
- control function
- convolution function
- correlation function
- cost function
- covariance generating function
- criterion function
- cross-correlation function - current potential function
- current transfer function
- curried function
- data communications function
- data-path function
- decision function
- degate function
- degating function
- delta function
- demand function
- density function
- descrambling function
- describing function
- difference transfer function
- differentiable function
- digamma function
- Dirac delta function
- Dirac function
- disconnect-reconnect function
- discriminant function
- distribution function
- driving-point function
- eikonal function
- electron wave function
- embedding function
- encryption function
- ergodic function
- error function
- excitation function
- explicit function
- exponential function
- extensional function
- external function
- failure density function
- feedback transfer function
- Fermi function
- Fermi-Dirac distribution function
- force function
- forward transfer function
- frequency function
- frequency-generating function
- frequency-response function
- friend function
- FS function
- full-speed function
- fuzzy function
- fuzzy objective function
- fuzzy utility function
- gage function
- Gaussian function
- Gaussian radial basis function
- generalized function
- generic function
- global implicit function
- global inverse function
- Green functions
- Green's function
- Hamilton function
- Hankel function
- hard limit activation function - hazard function
- head-related transfer function
- Heaviside step function
- Huber function
- hyperbolic function
- hyperbolic tangent activation function
- idempotent function
- image function
- impedance function
- implicit function
- injection function
- injective function
- inline function
- intensional function
- interference function
- interworking function
- inverse distribution function
- inverse function
- invertible mapping function
- inverting function
- kernel function
- Lagrange's function
- Langevin function
- latent function
- Legendre associated function of the first kind
- Legendre associated function of the second kind
- Legendre function of the first kind
- Legendre function of the second kind
- lexical function
- likelihood function
- line search function
- linear function
- linear logic function
- logic function
- logistic function
- logistic sigmoid function
- log-likelihood function
- log-linear function
- log-log function
- look-up function
- loss function
- low-speed function
- LS function
- luminosity function
- macro function
- main function
- maintenance entity function
- majorized function
- majorizing function
- mapping function
- Markov function
- mathematical function
- member function
- membership function
- memo function
- memoised function
- memoized function
- minorized function
- minorizing function
- modified Bessel function
- modular hash-function
- modulating function
- modulation transfer function
- moment-generating function
- monotonic function
- Morse function
- multi-input multi-output transfer function
- multi-valued function
- multivariate distribution function
- mutual coherence function
- natural trigonometric function
- never-decreasing function
- never-increasing function
- non-decreasing function
- non-increasing function
- nonlinear function
- normalized Gaussian radial basis function
- normalized radial basis functions with equal heights
- normalized radial basis functions with equal volumes
- normalized radial basis functions with equal widths and heights
- normalized radial basis functions with equal widths
- normalized radial basis functions with unequal widths and heights
- objective function
- one-one function
- one-to-one function
- one-way function
- one-way hash function
- open-loop transfer function
- optical transfer function
- ordinary Gaussian radial basis function
- ordinary radial basis functions with equal widths
- ordinary radial basis functions with unequal widths
- orthogonal functions
- overlapped functions
- partial autocorrelation function
- penalty function
- perfect hash-function
- phase transfer function
- photoelectric work function
- photopic response function
- piecewise constant function
- piecewise linear function
- piecewise polynomial function
- Pierce function
- point-spread function
- polynomial function
- positive linear function
- postsynaptic potential function
- power function of test
- power function
- predefined function
- predicate function
- probability density function
- probability function
- probability mass function
- production function
- projection function
- projective function
- propagation function
- propositional function
- PSP function
- pulsating function
- pure virtual function
- quadratic error function
- radial basis function
- radial combination function
- ramp function
- range weighting function
- reactance function
- register function
- regression function
- resolvent function
- response function
- restricted function
- risk function
- saturating linear function
- scalar function
- scaling function
- scattering function
- scedastic function
- Schrödinger wave function
- scrambling function
- screen size-viewing distance function
- self-inverse function
- semilinear function
- sensing function
- sentential function
- shape function
- sigmoid activation function
- sigmoid function
- sign function
- signal function
- signum activation function
- signum function
- smooth function
- socket library function
- softmax activation function
- spectral density function
- spectral function
- spectral radiance function
- spline function
- spot function
- spread function
- square-integrable function
- square-law transfer function
- squashed sign function
- squashing function
- state function
- state query function
- steering function
- step function
- stream function
- summing function
- support entity function
- support function
- supported function
- surjection function
- surjective function
- survival function
- switch function
- switching function
- switch-type function
- symmetric saturating linear function
- tame function
- tan-sigmoid activation function
- target function
- tensor function
- tesseral function
- testing function
- tetragamma function
- thermionic work function
- threshold function
- through transfer function
- transcendental function
- transfer function
- trial function
- trigamma function
- trigonometric function
- tri-state function
- typematic function
- unate function
- uncurried function
- unit impulse function
- unit step function
- unsupported function
- user-defined function
- utility function
- vector function
- virtual function
- visibility function
- voltage potential function
- voltage transfer function
- Walsh functions
- wave function
- wave-number limited function
- weighting function
- window function
- work functionThe New English-Russian Dictionary of Radio-electronics > function
-
13 logic
1) логика
2) словный
3) логический
– binary logic
– combinational logic
– combinatory logic
– commodity logic
– constructive logic
– core logic
– diode-transister logic
– diode-transistor logic
– extensional logic
– formal logic
– glue logic
– irregular logic
– lack of logic
– ladder logic
– level logic
– logic circuit
– logic diagram
– logic element
– logic gate
– logic machine
– logic modulus
– logic strength
– logic transistor
– majority logic
– mathematical logic
– modal logic
– negative logic
– NOR logic circuit
– predicate logic
– probabilistic logic
– propositional logic
– resistor-transistor logic
– ternary logic
– threshold logic
– transistor-transistor logic
– transistor-transistor logic
capacitive diode FET logic — логика на полевых транзисторах с емкостными связями через диоды
classical propositional logic — классическая логика высказываний
threshold logic unit — <comput.> блок логический пороговый
uncommitted logic elements — нескоммутированные логические элементы
-
14 pure
1) чистый
2) беспримесный
3) строгий
4) несмешанный
5) безприсадочный
– pure air
– pure bending
– pure binary
– pure cathode
– pure crystal
– pure glycerin
– pure imaginary
– pure isotope
– pure lime
– pure mathematics
– pure number
– pure oxygen
– pure quadratic
– pure rotation
– pure rubber
– pure scattering
– pure semiconductor
– pure strain
– pure strategy
– pure subgroup
– pure substance
– pure surd
– pure tone
– pure variety
– pure water
upper pure value — верхняя цена, верхняя чистая цена
-
15 logic
1) логикаа) в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (program logic, software logic) и об аппаратной логике (hardware logic)см. тж. Boolean logic, crisp logic, formal logic, fuzzy logic, inductive logic, mathematical logic, predicate logic, propositional logic, symbolic logic2) логические схемы (вентили), схемотехникасхемы для реализации логических (булевых) операций (см. logic circuit); например, VLSI logic - схемотехника СБИСсм. тж. arbitration logic, binary logic, clockless logic, combinational logic, control logic, digital logic, discrete logic, interconnection logic, logic board, logic analyzer, logic chip, logic element, logic gate, negative logic, optical logic, positive logic, random logic, sequential logic, ternary logic3) (см. тж. logical) - логическийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic
-
16 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
См. также в других словарях:
Binary heap — Example of a complete binary max heap Example of a complete binary min heap A binary … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
BIT predicate — In mathematical logic, the BIT predicate, sometimes written BIT(i,j), is a predicate which tests whether the j th bit of the number i is 1, when i is written in binary. The BIT predicate is often examined in the context of first order logic,… … Wikipedia
Enhanced TV Binary Interchange Format — (EBIF) is a multimedia content format defined by a specification [cite paper | author = ETV Working Group | title = Enhanced TV Binary Interchange Format 1.0 | version = I04 | date = 2007 09 21 | publisher = Cable Laboratories, Inc. | url =… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Carry look-ahead adder — A carry look ahead adder is a type of adder used in digital logic. It can be contrasted with the simpler, but usually slower, ripple carry adder ( see adder for detail on ripple carry adders ). A ripple carry adder works in the same way as pencil … Wikipedia
Carry-lookahead adder — 4 bit adder with carry lookahead A carry lookahead adder (CLA) is a type of adder used in digital logic. A carry lookahead adder improves speed by reducing the amount of time required to determine carry bits. It can be contrasted with the simpler … Wikipedia
Standard Template Library — C++ Standard Library fstream iomanip ios iostream sstream string … Wikipedia
Ternary logic — A ternary, three valued or trivalent logic (sometimes abbreviated 3VL) is a term to describe any of several multi valued logic systems in which there are three truth values indicating true , false and some third value. This is contrasted with the … Wikipedia
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
